<HTML><HEAD><TITLE>?C1 #/\ ?C2</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(fd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>?C1 #/\ ?C2</H1>
The constraint expression C1 and the constraint expression C2 is true.


<DL>
<DT><EM>?C1</EM></DT>
<DD>An arithmetic constraint expression.
</DD>
<DT><EM>?C2</EM></DT>
<DD>An arithmetic constraint expression.
</DD>
</DL>
<H2>Description</H2>
   This constraint states that both constraint expressions C1 and C2 must
   be true.  It is identical to normal conjunstion (C1, C2).

<P>

<H3>Fail Conditions</H3>
   Fails if one of C1 or C2 is false.


<H3>Resatisfiable</H3>
   No.
<H2>See Also</H2>
<A HREF="../../lib/fd/HRF-2.html">#\/ / 2</A>, <A HREF="../../lib/fd/HEG-2.html">#=> / 2</A>, <A HREF="../../lib/fd/HLEG-2.html">#<=> / 2</A>, <A HREF="../../lib/fd/HRP-1.html">#\+ / 1</A>
</BODY></HTML>
